Finite Bisimulations for Switched Linear Systems
نویسندگان
چکیده
منابع مشابه
Finite Bisimulations of Controllable Linear Systems
Finite abstractions of infinite state models have been critical in enabling and applying formal and algorithmic verification methods to continuous and hybrid systems. This has triggered the study and characterization of classes of continuous dynamics which can be abstracted by finite transition systems. In this paper, we focus on synthesis rather than analysis. In this spirit, we show that give...
متن کاملHybrid Systems with Finite Bisimulations
The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructing finite, reachability preserving quotient systems called bisimulations. In this paper, we use recent results from stratification theory, subanalytic sets, and model theory in order to extend the state-of-the-art results on the ...
متن کاملFinite-time boundedness and stabilization of switched linear systems
In this paper, finite-time boundedness and stabilization problems for a class of switched linear systems with time-varying exogenous disturbances are studied. Firstly, the concepts of finite-time stability and finite-time boundedness are extended to switched linear systems. Then, based on matrix inequalities, some sufficient conditions under which the switched linear systems are finite-time bou...
متن کاملFinite-Horizon Optimal Control of Discrete-Time Switched Linear Systems
Finite-horizon optimal control problems for discrete-time switched linear control systems are investigated in this paper. Two kinds of quadratic cost functions are considered. The weight matrices are different. One is subsystem dependent; the other is time dependent. For a switched linear control system, not only the control input but also the switching signals are control factors and are neede...
متن کاملSwitched Positive Linear Systems
In this monograph we consider the class of continuous-time positive switched systems. We discuss several problems, including stability, performance analysis, stabilization via switching control, and optimization. The monograph starts with a chapter where several application examples are provided, to motivate the interest in this class of systems. The rest of the monograph is dedicated to the th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2014
ISSN: 0018-9286,1558-2523
DOI: 10.1109/tac.2014.2351653